#puntuación de formalización

Puente entre conocimiento matemático bibliográfico y formalizado

Una nueva capa puente alinea publicaciones matemáticas con pruebas formales, midiendo la cobertura de formalización de cada artículo.